Sfoglia per Rivista FORMAL METHODS IN SYSTEM DESIGN
SMT-based scenario verification for hybrid systems
2013-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
Symbolic Backward Reachability with Effectively Propositional Logic-Applications to Security Policy Analysis
2013-01-01 Ranise, Silvio
Tightening the contract refinements of a system architecture
2018-01-01 Cimatti, Alessandro; Demasi, Ramiro Adrian; Tonetta, Stefano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
SMT-based scenario verification for hybrid systems | 1-gen-2013 | Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano | |
Symbolic Backward Reachability with Effectively Propositional Logic-Applications to Security Policy Analysis | 1-gen-2013 | Ranise, Silvio | |
Tightening the contract refinements of a system architecture | 1-gen-2018 | Cimatti, Alessandro; Demasi, Ramiro Adrian; Tonetta, Stefano |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile